This warning no longer corresponds to what the code actually does.
Signed-off-by: Tim Deegan <Tim.Deegan@citrix.com>
if ( hdr->gtsc_khz )
d->arch.tsc_khz = hdr->gtsc_khz;
if ( d->arch.vtsc )
- {
hvm_set_rdtsc_exiting(d, 1);
- gdprintk(XENLOG_WARNING, "Domain %d expects freq %uMHz "
- "but host's freq is %luMHz: trap and emulate rdtsc\n",
- d->domain_id, hdr->gtsc_khz / 1000, cpu_khz / 1000);
- }
/* VGA state is not saved/restored, so we nobble the cache. */
d->arch.hvm_domain.stdvga.cache = 0;